John Stanford - PDFSEARCH.IO - Document Search Engine

John Stanford
Results: 648

#	Item
321	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-12-16 03:00:39 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
322	Flattened Butterfly Topology for On-Chip Networks John Kim, James Balfour, and William J. Dally Computer Systems Laboratory Stanford University, Stanford, CA 94305 {jjk12, jbalfour, dally}@cva.stanford.edu Abstract Add to Reading List Source URL: cva.stanford.edu Language: English - Date: 2007-09-19 14:31:14 OSI protocols Network performance Wormhole switching Router Low latency Network switch Throughput Latency Load-balanced switch Network architecture Computing Routing
323	Warming increases the risk of civil war in Africa Marshall B. Burkea,b,1, Edward Miguelc, Shanker Satyanathd, John A. Dykemae, and David B. Lobellb aDepartment of Agricultural and Resource Economics and cDepartment of Ec Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2009-11-30 15:13:47 Effects of global warming Global warming Intergovernmental Panel on Climate Change IPCC Fourth Assessment Report United Nations Framework Convention on Climate Change Adaptation to global warming Global climate model Climate Current sea level rise Climate change Environment Climatology
324	Incorporating Climate Uncertainty into Estimates of Climate Change Impacts Marshall Burke1, John Dykema2, David B. Lobell3, Edward Miguel4, and Shanker Satyanath5 March 2014 Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2014-04-03 13:39:28 Global warming Environmental economics Climate change policy Economics of global warming Effects of global warming Intergovernmental Panel on Climate Change Global climate model Special Report on Emissions Scenarios IPCC Fourth Assessment Report Climate change Climatology Environment
325	A PROBABILISTIC POLYNOMIAL-TIME PROCESS CALCULUS FOR THE ANALYSIS OF CRYPTOGRAPHIC PROTOCOLS JOHN C. MITCHELL, AJITH RAMANATHAN, ANDRE SCEDROV, AND VANESSA TEAGUE Abstract. We prove properties of a process calculus that Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 01:35:24 Formal methods Computability theory Lambda calculus Polynomial Π-calculus IP Process calculus Function PP Theoretical computer science Mathematics Applied mathematics
326	Reconstructing Trust Management Ajay Chander ∗ Drew Dean † John C. Mitchell∗ Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-02-04 00:01:29 Simple public key infrastructure Access control Logic in computer science Programming language semantics Access Control Matrix Kernel Architecture of Windows NT Operational semantics Logical access control Security Computer security Key management
327	Disjunction Category Labels Deian Stefan1 , Alejandro Russo2 , David Mazi`eres1, and John C. Mitchell1 1 2 Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2011-11-22 19:50:18 Information flow Information theory Label Stationery
328	Flexible Dynamic Information Flow Control in Haskell Deian Stefan1 Alejandro Russo2 John C. Mitchell1 Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2011-11-22 14:46:23 Label Computing Functional programming Monad Symbol
329	Hails: Protecting Data Privacy in Untrusted Web Applications Daniel B. Giffin, Amit Levy, Deian Stefan David Terei, David Mazi`eres, John C. Mitchell Stanford Abstract Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2012-09-18 17:27:27 Mandatory access control HTTP cookie Access control Form Database JavaScript Web application framework Google Chrome HTML Computing Software Database management systems
330	A graduate of MIT, in 1973 he founded a multi-company-funded research consortium active at Stanford university. He was elected to membership in the National Academy of Engineering, elected a Fellow of the American Geophy Add to Reading List Source URL: sep.stanford.edu Language: English - Date: 2014-09-04 03:40:35 Geophysicists Seismology Carl Wunsch Andrew Long European Association of Geoscientists and Engineers John Vidale Geology Academia Science Geophysics Jon Claerbout Petroleum engineering

UPDATE